منابع مشابه
Algorithmes de calcul de logarithmes discrets dans les corps finis
Computing discrete logarithms is a fundamental task for public key cryptanalysis. Themere existence of a subexponential algorithm for this purpose is not sufficient to definitely ruleon the security level provided by some cryptosystem. Assessing state-of-the-art cryptanalysiscalls for a thorough evaluation process. This dissertation contributes to such an evaluation.In particula...
متن کاملContrôle de systèmes symboliques, discrets ou hybrides
pto Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (UMR 6074) Université de Rennes 1 – Insa de Rennes et en Automatique – unité de recherche de Rennes Supervisory Control of Discrete or Hybrid Symbolic systems Abstract In this paper we tackle the safety controller synthesis problem for various models ranging from nite transition systems to hybrid sys...
متن کاملExtraction d'itemsets compacts
Résumé. L’extraction d’itemsets fréquents est un sujet majeur de l’ECD et son but est de découvrir des corrélations entre les enregistrements d’un ensemble de données. Cependant, le support est calculé en fonction de la taille de la base dans son intégralité. Dans cet article, nous montrons qu’il est possible de prendre en compte des périodes difficiles à déceler dans l’organisation des données...
متن کاملDiagnostic Décentralisé des Systèmes à Événements Discrets
We consider the detection and identification of unobservable events in the behavior of discrete event systems. We study decentralized diagnosis architectures where several sites observe the system behavior, each site having its own set of observable events. These sites do not communicate among each other but they send their local diagnostic decisions to a coordinating site that implements a sim...
متن کاملSynthese des Controleurs Optimaux pour les Systemes a Evenements Discrets
Dans cet article, on introduit le problème de synthèse de contrôleurs optimaux des systèmes à événements discrets et nous proposons une procédure pour la résolution de ce problème, dans le cas où le procédé et les spécifications sont représentés par des automates à états finis et présentant une complexité croissante. Nous allons souscrire à la méthodologie de synthèse selon la théorie de la com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Japan Academy, Series A, Mathematical Sciences
سال: 1995
ISSN: 0386-2194
DOI: 10.3792/pjaa.71.134